|
In mathematics, the closed graph theorem is a basic result which characterizes continuous functions in terms of their graphs. There are several versions of the theorem. == The closed graph theorem == In mathematics, there are several results known as the "closed graph theorem". For any function , we define the ''graph'' of ''T'' to be the set : In point-set topology, the closed graph theorem states the following: If ''X'' is a topological space and ''Y'' is a compact Hausdorff space, then the graph of ''T'' is closed if and only if ''T'' is continuous.〔, p. 171〕 The rest of the section concerns functional analysis, where the closed graph theorem states the following: If ''X'' and ''Y'' are Banach spaces, and is a linear operator, then ''T'' is continuous if and only if its graph is closed in (with the product topology). In the latter case we say that ''T'' is a closed operator. Note that the operator is required to be everywhere-defined, i.e., the domain ''D(T)'' of ''T'' is ''X''. This condition is necessary, as there exist closed linear operators that are unbounded (not continuous); a prototypical example is provided by the derivative operator on ''C(())'' (whose domain is a strict subset of ''C(())''). The usual proof of the closed graph theorem employs the open mapping theorem. In fact, the closed graph theorem, the open mapping theorem and the bounded inverse theorem are all equivalent. This equivalence also serves to demonstrate the necessity of ''X'' and ''Y'' being Banach; one can construct linear maps that have unbounded inverses in this setting, for example, by using either continuous functions with compact support or by using sequences with finitely many non-zero terms along with the supremum norm. The closed graph theorem can be reformulated as follows. If is a linear operator between Banach spaces, then the following are equivalent: # For every sequence in ''X'', if the sequence converges in ''X'' to some element ''x'', then the sequence in ''Y'' also converges, and its limit is ''T''(''x''). # For every sequence in ''X'', if the sequence converges in ''X'' to some element ''x'' and the sequence in ''Y'' converges to some element ''y'', then . 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「closed graph theorem」の詳細全文を読む スポンサード リンク
|